$\forall$$P$:Prop, $x$:Dec($P$). $x$ $\in$ Decision